formal l logic形式逻辑
formal affirmation logic形式断定逻辑
Formal symbolic logic逻辑
Formal fuzzy logic模糊逻辑
Non-formal logic非形式逻辑
modern formal logic当代形式逻辑
Formal Logic Analysis形式逻辑分析
Formal and Transcendental Logic形式的与先验的逻辑
aa formal logic情势思维规律
Inevitably, legal reasoning pronounced theoretical logic color and lacked legal color and legal reasoning was fixed position on the application of logic in law because the logic as the theoretical basis of legal reasoning was mainly formal logic.
而为法律推理提供理论基础的逻辑学主要是形式逻辑学，人们把法律推理定位于推理在法学领域的应用。
参考来源 - 论法律推理Since Aristotle’s time, there have been two basic ways to study argumentation. The first way is formal logic.
自亚里士多德时期开始,对于论辩的研究采用的途径有两个:一个是形式逻辑,另一个是修辞学。
参考来源 - 西方修辞论辨理论与应用研究N（名词） the study of systems of deductive argument in which symbols are used to represent precisely defined categories of expressions 形式逻辑 (Also called symbolic logic) → compare philosophical logic